非齐次弦振动方程的形式级数解的收敛性

考虑非齐次波动方程初边值问题的形式级数解的收敛性问题.通过证明形式级数的一致收敛性和形式级数逐项求偏导数之后的一致收敛性,证明了非齐次波动方程初边值问题的古典解的存在唯一性和广义解的存在唯一性.     

Neutron Capture Therapy （NCT） ＆ In-Hospital Neutron Irradiator （IHNI）-a new technology on binary targeting radiation therapy of cancer

BNCT is finally becoming ＂a new option against cancer＂. The difficulties for its development progress of that firstly is to improve the performance of boron compounds, secondly, it is the requirements of quantification and accuracy upon radiation dosimetry evaluation in clinical trials. Furthermore, that is long anticipation on hospital base neutron sources. It includes dedicated new NCT reactor, accelerator based neutron sources, and isotope source facilities. In ad- dition to reactors, so far, the technology of other types of sources for clinical trials is not yet completely proven. The In- Hospital Neutron lrradiator specially designed for NCT, based on the MNSR successfully developed by China, can be installed inside or near the hospital and operated directly by doctors. The Irradiator has two neutron beams for respective treatment of the shallow and deep tumors. It is expected to initiate operation in the end of this year. It would provide a safe, low cost, and effective treatment tool for the NCT routine application in near future.     

Technical modifications & management innovations in exporting nuclear reactor projects

As a main channel for the foreign economic cooperation of China nuclear industry, China Zhongyuan Engineering Corporation （CZEC） has been constantly engaged in technical modifications and management innovations in its exporting nuclear reactor projects. In the implementation of heavy water research reactor contract in Algeria, CZEC had established a complete and adequate design standards system in compliance with the international standards, and made significant modifications to the reference reactor in the aspects of reactor power and reactor safety, solved quite some technical issues which＇affected the reactor technical performance. The modifications and improvements enabled the tech- nical parameters, safety features, reactor multipurpose application to attain to the advanced level in the world. In the 300 MWe PWR NPPs in Pakistan, safety features had been updated in line with upgrading regulatory requisites. The design philosophy and technology application demonstrated CZEC＇ s creation and innovation on basis of constant safety enhancement of nuclear power projects. Efforts had also been made by CZEC in promoting China made equipment items and components exportation.     

应用函数列的极限理论和累次极限对累次积分换序的处理

应用函数列的极限与函数的极限交换次序定理及累次极限的理论,证明了黎曼可积函数列积分的极限定理,给出了累次积分的换序定理和二元连续函数的可积性的一种证明方法．     

Hlder不等式的初等证明及其应用

首先利用贝努利不等式给出了几何平均算术平均不等式的证明,其次给出了Young不等式和Young逆不等式的初等证明方法,进而给出了Holder不等式的初等证明,沟通了这些重要的不等式之间在初等数学阶段的联系．     

常用数值求积分公式的直接证明及收敛性的证明

考虑数值积分公式的直接证明问题,利用微分中值定理给出了数值积分的矩形公式和梯形公式的直接证明,然后给出了数值积分公式的收敛性的证明．     

MG7000A板卡在支持IP承载的彩铃系统中的应用

中国移动GSM网络正在向IP化演进.为支持IP承载,将NMS公司的MG7000A板卡应用于东信北邮公司的彩铃系统,表明了该板卡可以被应用于支持IP承载的彩铃系统中.论文描述了该应用方案,详细说明了板卡事件异步处理和媒体消息协商格式的实现.     

Two No-Go Theorems for Modal Interpretations of Quantum Mechanics

Modal interpretations take quantum mechanics as a theory which assigns at all times definite values to magnitudes of quantum systems. In the case of single systems, modal interpretations manage to do so without falling prey to the Kochen and Specker no-go theorem, because they assign values only to a limited set of magnitudes. In this paper I present two further no-go theorems which prove that two modal interpretations become nevertheless problematic when applied to more than one system. The first theorem proves that the modal interpretation proposed by Kochen and by Dieks cannot correlate the values simultaneously assigned to three systems. The second and new theorem proves that the atomic modal interpretation proposed by Bacciagaluppi and Dickson and by Dieks cannot correlate the values simultaneously and sequentially assigned to two systems if one assumes that these correlations are uniquely related to the dynamics of the state of the systems.     

视频运动目标检测方法的对比分析

针对视频运动目标检测领域的研究现状,对帧间差分法、背景建模法、图像分割法、聚类分析法、运动矢量场法等视频运动目标检测方法的算法适应性、复杂度等性能进行了对比分析.辅以典型的视频运动目标检测实例,比较了各种方法的适用范围与优劣特点,可为不同应用场合下视频运动目标检测方法的选择提供参考依据.指出了现阶段视频运动目标检测技术研发的瓶颈所在,以及在新的应用需求背景下所面临的挑战,并对进一步的发展趋势作了预测和评估.     

半骨盆截肢后自体下肢长骨重建坐姿的生物力学研究

利用截肢后废弃的自体长骨重建半骨盆环是一种有效的生物学重建方法,其生物力学性质从未被研究过。本文旨在应用有限元分析方法研究半骨盆截肢后自体骨重建坐骨结节和骨盆环的可行性,对重建骨盆应力分布进行研究。评价了分别使用股骨髁和胫骨平台替代坐骨结节的重建方案,连同完整模型共建立3个有限元模型。对3个模型模拟坐姿进行计算,对vonMises应力比较分析。模型可靠性经过尸体标本应变与位移测试验证。重建骨盆的应力分布与完整骨盆明显不同,股骨髁重建模型应力主要集中在股骨与骶骨左侧耳状面接触处、右骶髂关节和接骨长钉左侧。与重建股骨不同,重建用胫骨最大应力位于胫骨干部,分布面积较大。从生物力学角度看,使用自体下肢骨重建半骨盆环应该优先考虑股骨重建方案。在实际手术设计中也要注意适当增加长钉的直径,并在保证强度的条件下适当降低其刚度。